Nonmonotonic Multi-context Systems

Multi-Context Systems (MCSs) are a formalism for systems consisting of knowledge bases (possibly heterogeneous and non-monotonic) that are interlinked via bridge rules, where the global system semantics emerges from the local semantics of the knowledge bases (also called “contexts”) in an equilibrium. While MCSs and related formalisms are inherently targeted for distributed settings, no truly distributed algorithms for their evaluation were available. We address this shortcoming and present a suite of such algorithms which includes a basic algorithm DMCS, an advanced version DMCSOPT that exploits topology-based optimizations, and a streaming algorithm DMCS-STREAMING that computes equilibria in packages of bounded size. The algorithms behave quite differently in several respects, as experienced in thorough experimental evaluation of a system prototype. From the experimental results, we derive a guideline for choosing the appropriate algorithm and running mode in particular situations, determined by the parameter settings. 1Institut für Informationssysteme, Technische Universität Wien, Favoritenstraße 9-11, A-1040 Vienna, Austria; email: {dao,eiter,fink,tkren}@kr.tuwien.ac.at. Acknowledgements: This research has been supported by the Austrian Science Fund (FWF) project P20841. Some of the results were presented in preliminary form at KR 2010 [Dao-Tran et al., 2010], JELIA 2010 [Bairakdar et al., 2010b], and LogiCS 2011 [Dao-Tran et al., 2011]. Copyright c © 2014 by the authors